Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
91	PML : A new proof assistant and deduction system Christophe Raffalli LAMA Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2007-07-02 08:10:34 Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant
92	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:31 Mathematical logic Type theory Logic Mathematics Homotopy type theory Univalent foundations First-order logic Natural deduction CurryHoward correspondence
93	On the Revival of Dynamic Languages Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, St´ephane Ducasse, Markus G¨ alli, and Roel Wuyts Software Composition Group, University of Bern www.iam.unibe.ch/∼scg Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Software engineering Computer programming Computing Object-oriented programming languages Object-oriented programming Data types Type theory Programming paradigms Smalltalk Type system Objective-C R
94	PSXseecon Release Notes June 19, 2016, version 3.4 “App crashed Bug” fixed, in cleaning up after the User has closed the application and there is still a SIOC connection to a PC that’s powered off. Instead of inte Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Mathematics Software engineering Computing Type theory Variable Semantically-Interlinked Online Communities Parameter G-code
95	TRANSFORMING MULTIPLE-RECORD DATA INTO SINGLE-RECORD FORMAT WHEN NUMBER OF VARIABLES IS LARGE. David Izrael, Abt Associates Inc., Cambridge, MA David Russo, Independent Consultant ABSTRACT In one large survey project eac Add to Reading List Source URL: www.ats.ucla.edu Language: English - Date: 2016-08-17 18:18:26 Software engineering Computer programming Computing Source code Type theory Holism Subroutine University of Cambridge Computer Laboratory Macro Constant Variable HindleyMilner type system
96	aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems Add to Reading List Source URL: d3s.mff.cuni.cz Language: English - Date: 2010-08-21 17:29:07 Computing Software engineering Object-oriented programming Data types Type theory Cross-platform software Java virtual machine Aicas Software development process Polymorphism Subtyping Java
97	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2011-02-08 09:50:34 Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion
98	35 Documenta Math. On the Image of l-Adic Galois Representations for Abelian Varieties of Type I and II Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-11-21 15:14:15 Algebra Abstract algebra Mathematics Algebraic number theory Scheme theory Field theory Algebraic geometry Lie algebra Galois module Group scheme Ring Sheaf
99	On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2014-04-01 05:47:01 Theoretical computer science Mathematics Programming language theory Logic in computer science Mathematical logic Asymptotic analysis Logic programming Type theory Unification Rewriting Rewrite order Term

UPDATE